# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.


$key = q/left.vphantom{len*countslash8}rightrceil;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="" SRC="|."$dir".q|img2.png"
 ALT="$\left.\vphantom{ len*count/8}\right\rceil$">|; 

$key = q/leftlceilvphantom{len*countslash8}right.;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="" SRC="|."$dir".q|img1.png"
 ALT="$\left\lceil\vphantom{ len*count/8}\right.$">|; 

1;

